contoh kalimat fondasi matematika

• In this latter sense, the distinction between foundations of mathematics and philosophy of mathematics turns out to be quite vague.
  Dengan pengertian yang lebih luas ini, perbedaan antara fondasi matematika dan filsafat matematika sepertinya menjadi kabur.
• This set is called 'true reachable propositions' because in non-constructive approaches to the foundations of mathematics, the set of true propositions may be larger than the set recursively constructed from the axioms and rules of inference.
  Himpunan ini disebut 'proposisi benar terjangkau' karena dalam pendekatan non-konstruktif terhadap fondasi matematika, himpunan dari proposisi benar bisa lebih besar daripada himpunan yang dibangun secara rekursif dari aksioma-aksioma dan aturan-aturan inferensi.